Detecting Conjunctions of Global Predicates
نویسندگان
چکیده
We present an eecient algorithm to detect if the conjunction of two nonlocal predicates is possibly true in a distributed computation. For ooine detection of such global predicates, our algorithm is signiicantly more eecient than the previous algorithms
منابع مشابه
Detecting Temporal Logic Predicates on Distributed Computations
We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection of a reasonably large class of predicates which we call the Basic Temporal Logic or BTL. Examples of valid BTL predicates are nested temporal predicates based on local variables with arbitrary negations, disjunctions, conjuncti...
متن کاملIntractability results in predicate detection
It has been shown that global predicate detection in a distributed computation is an NP-complete problem in general. However, polynomial-time predicate detection algorithms exist for some classes of predicates, such as stable predicates, observer-independent predicates, conjunctions of local predicates etc. We show here that, given a class of predicates for which polynomial-time detection algor...
متن کاملEfficient Detection of Channel Predicates in Distributed Systems
This paper discusses efficient detection of global predicates in a distributed program. Previous work in this area required predicates to be specified as a conjunction of predicates defined on individual processes. Many properties in distributed systems, however, use the state of channels such as “the channel is empty,” or “there is a token in the channel”. In this paper, we introduce the conce...
متن کاملDetecting Quantified Global Predicates in Parallel Programs
Global predicates in parallel programs are predicates considering the state of more than one process. They are a useful concept for debugging parallel programs, e.g., for specifying assertions or breakpoints. In this paper 9-predicates are defined and examined, a restricted class of global predicates. 9-predicates are defined by two local predicates which have to be simultaneously satisfied by ...
متن کاملDetecting conjunctive channel predicates in a distributed programming environment
Previous work in efficient detection of global predicates was restricted to predicates that could be specified as a boolean formula of local predicates. Many properties in distributed systems, however, use the state of channels. In this paper, we introduce the concept of a channel predicate and provide an efficient algorithm to detect any boolean formula of local and channel predicates. We defi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Process. Lett.
دوره 63 شماره
صفحات -
تاریخ انتشار 1997